翻訳と辞書 Words near each other ・ Abstract family of acceptors ・ Abstract family of languages ・ Abstract graphical data type ・ Abstract Head ・ Abstract Illusionism ・ Abstract Imagists ・ Abstract impressionism ・ Abstract index group ・ Abstract index notation ・ Abstract interpretation ・ Abstract labour and concrete labour ・ Abstract logic ・ Abstract Logic (album) ・ Abstract logic (disambiguation) ・ Abstract machine ・ Abstract machine notation ・ Abstract management ・ Abstract model theory ・ Abstract nonsense ・ Abstract object theory ・ Abstract of judgment ・ Abstract particulars ・ Abstract photography ・ Abstract Point of View ・ Abstract polytope ・ Abstract Principles Taken to Their Logical Extremes ・ Abstract process ・ Abstract rewriting machine ・ Abstract rewriting system ・ Abstract Rude Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Abstract machine notation ： ウィキペディア英語版 Abstract machine notation The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions. ==See also== * Formal methods * Formal specification 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Abstract machine notation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.